Source: https://hal.science/hal-03217277 ; [Research Report] Mines Saint-Etienne; Ecole Centrale Lyon; BRGM (Bureau de recherches géologiques et minières); CEA; IFP Energies Nouvelles; Institut de

Record details

Read More Add to Saved list

The tetravalent logic in Mathematics & Physics

Authors : Lablanche, Sébastien; Lablanche, Gérard;

Subjects: mathematics number theory logic space-time general relativity theory image interpolation geometry; mathematics; number theory

Source: https://hal.science/hal-04124583 ; Doctoral. France. 2023.

Record details

Read More Add to Saved list

Academic Journal

An Eco-System Architectural Model for Delivering Educational Services to Children with Learning Problems in Basic Mathematics

Authors : Ortiz Esparza, Miguel Angel; Muñoz Arteaga, Jaime; Mendoza, José Eder Guzmán ...

Subjects: Learning problems; Basic mathematics; Children

Source: ISSN: 1935-570X ; International Journal of Information Technologies and Systems Approach ; https://hal.science/hal-02938633 ; International Journal of Information Technologies and Systems Approach,

Record details

Read More Add to Saved list

Book

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors : Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten ...

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Source: https://inria.hal.science/hal-00935057 ; The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013 ; https://hott.github.io/book/hott-ebook-7-g6913a1a.pdf.

Record details

Read More Add to Saved list

Academic Journal

TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics

Authors : Gasquet, Olivier; Longin, Dominique; Lorini, Emiliano ...

Subjects: TouIST; SAT Solver; Propositional logic

Source: ISSN: 2071-2340 ; Computer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”) ; https://ut3-toulouseinp.hal.science/hal-03477306 ; Computer Tools in Education journal

Record details

Read More Add to Saved list

Academic Journal

Strong stabilization of damped nonlinear Schrödinger equation with saturation on unbounded domains

Authors : Bégout, Pascal; Díaz, Jesús Ildefonso;

Subjects: Damped Schrödinger equation; Saturated section; Stabilization

Source: ISSN: 0022-247X.

Record details

Read More Add to Saved list

Academic Journal

Sobolev regularity of Gaussian random fields

Authors : Henderson, Iain;

Subjects: Gaussian processes; Sobolev spaces; Integral operators

Source: ISSN: 0022-1236.

Record details

Read More Add to Saved list

Conference

Control allocation for optimal and resilient operation of the MMC

Authors : Le Goff, Grégoire; Bodson, Marc; Fadel, Maurice ...

Subjects: MMC; Control Allocation; Fault Tolerant ControlBristol; United KingdomBristol, United Kingdom

Source: 25th IEEE International Conference on Industrial Technology (ICIT 2024)https://hal.science/hal-0454614425th IEEE International Conference on Industrial Technology (ICIT 2024), Mar 2024,

Record details

Read More Add to Saved list

Conference

A Stable-Set-Based Move to Solve an Agile Earth Observation Satellite Scheduling Problem with a Local Search

Authors : Antuori, Valentin; Wojtowicz, Damien, T; Hebrard, Emmanuel ...

Subjects: Agile Earth Observation Satellite Scheduling Constraint-Based Local Search; Agile Earth Observation Satellite; SchedulingAmiens; France

Source: 25ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision (ROADEF 2024)https://hal.science/hal-0451973625ème congrès annuel de la Société

Record details

Read More Add to Saved list

Conference

Optimization-based sizing of a modular multilevel converter based on 650 V GaN modules for new LVDC/MVDC Grids

Authors : Le Goff, Grégoire; Chorfi, Ilias; Sutto, Thierry ...

Subjects: MMC - Modular Multilevel Converter; Design Optimization; Wide band gap semiconductorNuremberg; Germany

Source: PCIM 2024 - Power Conversion and Intelligent Motion ; https://hal.science/hal-04452104 ; PCIM 2024 - Power Conversion and Intelligent Motion, Jun 2024, Nuremberg, Germany ;

Record details

Read More Add to Saved list